A nonstructure theorem for countable, stable, unsuperstable theories
نویسندگان
چکیده
A trichotomy theorem for countable, stable, unsuperstable theories is proved. We develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.
منابع مشابه
N ov 2 00 7 A nonstructure theorem for countable , stable , unsuperstable theories
A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C
In this paper we prove a strong nonstructure theorem for κ(T )-saturated models of a stable theory T with dop. This paper continues the work started in [HT].
متن کاملOn the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure
We show that if M is a stable unsuperstable homogeneous structure, then for most κ < |M| , the number of elementary submodels of M of power κ is 2 . Through out this paper we assume that M is a stable unsuperstable homogeneous model such that |M| is strongly inaccessible (= regular and strong limit). We can drop this last assumption if instead of all elementary submodels of M we study only suit...
متن کاملA trichotomy of countable, stable, unsuperstable theories
Every countable, strictly stable theory either has the Dimensional Order Property (DOP), is deep, or admits an ‘abelian group witness to unsuperstability’. To obtain this and other results, we develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.
متن کاملOn Nonstructure of Elementary Submodels of a Stable Homogeneous Structure
We assume that M is a stable homogeneous model of large cardinality. We prove a nonstructure theorem for (slightly saturated) elementary submodels of M, assuming M has dop. We do not assume that th(M) is stable. In this paper we study elementary submodels of a stable homogeneous L-structure M. We use M as a monster model used in “classical” stability theory and so as in [HS], we assume that |M|...
متن کامل